logic for mathematicians

[数] 数理逻辑